#include "common/boot_info.h"
#include "cpu/cpu.h"

/**
 * 内核入口
 * @param boot_info 引导信息
 */
void kernel_init(boot_info_t *boot_info)
{
    cpu_init();
    
}


void init_main(void)
{
    // 内核初始化完成后的主函数
    while (1)
    {
        // 内核主循环
    }
}